منابع مشابه
Grothendieck Inclusion Systems
the date of receipt and acceptance should be inserted later Abstract Inclusion systems have been introduced in algebraic specification theory as a categorical structure supporting the development of a general abstract logic-independent approach to the algebra of specification (or programming) modules. Here we extend the concept of indexed categories and their Grothendieck flattenings to inclusi...
متن کاملFUZZY INCLUSION LINEAR SYSTEMS
In this manuscript, we introduce a new class of fuzzy problems, namely ``fuzzy inclusion linear systems" and propose a fuzzy solution set for it. Then, we present a theoretical discussion about the relationship between the fuzzy solution set of a fuzzy inclusion linear system and the algebraic solution of a fuzzy linear system. New necessary and sufficient conditions are derived for obtain...
متن کاملWeak Inclusion Systems
We deene weak inclusion systems as a natural extension of inclusion systems. We prove that several properties of factorisation systems and inclusion systems remain valid under this extension and we obtain new properties as algebraic tools in abstract model theory.
متن کاملGrothendieck quasitoposes
Article history: Received 28 June 2011 Available online 31 January 2012 Communicated by Michel Van den Bergh
متن کاملCombinatorial Formulae for Grothendieck-demazure and Grothendieck Polynomials
∂if = f− sif xi − xi+1 where si acts on f by transposing xi and xi+1 and let π̃i = ∂i(xi(1− xi+1)f) Then the Grothendieck-Demazure polynomial κα, which is attributed to A. Lascoux and M. P. Schützenberger, is defined as κα = x α1 1 x α2 2 x α3 3 ... if α1 ≥ α2 ≥ α3 ≥ ..., i.e. α is non-increasing, and κα = π̃iκαsi if αi < αi+1, where si acts on α by transposing the indices. Example 2.1. Let α = (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2009
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-009-9211-6